1. Advanced R
پدیدآورنده: Hadley Wickham.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATHEMATICS / Probability & Statistics / General,Programming languages (Electronic computers),R (Computer program language)
رده :
QA276
.
45
.
R3
H335
2019
2. Algebric theory of processes
پدیدآورنده: Matthew Hennessy
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Mathematics ، Electronic data processing,، Programming languages )Electronic computers( - Semantics,، Algebra, Abstract
رده :
QA
76
.
9
.
M35
H46
1988
3. Algorithms and architectures for parallel processing
پدیدآورنده: Yang Xiang...[et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Electronic data processing-- Distributed processing, Congresses,Parallel processing (Electronic computers)-- Mathematics, Congresses,Parallel processing (Electronic computers), Congresses
رده :
QA76
.
58
.
I58
2012eb
4. Algorithms and complexity ; new directions and recet results
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Electronic digital computers- programming- congresses,، Computational complexity - Congresses,، Mathematics - Data processing - Congresses
رده :
QA
76
.
6
.
S9195
1976
5. Algorithms and complexity : recent results and new directions : )proceedings of a Symposium on New Directions and Recent Results in Algorithms and Complexity held by the Computer Science Department, Carnegie-Mellon University, April 7-9, 1976(
پدیدآورنده: edited by J. F. Traub
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Electronic digital computers - Programming,Congresses ، Computational complexity,Congresses ، Mathematics - Data processing
رده :
QA
76
.
6
.
S919
1976
6. An Introduction to computational science and mathematics
پدیدآورنده: / Charles Van Loan
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Computer science - Mathematics,Electronic digital computers--Programming
رده :
QA
76
.
9
.
M35V37
7. An introduction to programming with specifications : a mathematical approach
پدیدآورنده: Kubiak, Ryszard
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991
8. Applications of generalized nets
پدیدآورنده: editor, Krassimir T. Atanassov
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Electronic digital computers - Programming , Nets )Mathematics(
رده :
QA
76
.
6
.
A655
1993
9. Applications of process algebra
پدیدآورنده: edited by J.C.M. Baeten
کتابخانه: کتابخانه مرکزي و مرکز اسناد دانشگاه سمنان (سمنان)
موضوع: ، Machine theory,، Parallel processing )Electronic computers(,Mathematics ، Computer science,، Computer network protocols,، Axiomatic set theory
رده :
QA
267
.
A67
2004
11. Applied mathematics and parallel computing :
پدیدآورنده: Herbert Fischer, Bruno Riedmüller, Stefan Schäffler (editors).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathematics -- Data processing.,Optimierung -- Parallelverarbeitung -- Aufsatzsammlung.,Parallel processing (Electronic computers)
رده :
QA76
.
95
H473
1996
12. Applied mathematics and parallel computing: Festschrift for Klaus Ritter
پدیدآورنده: Herbert Fischer, Bruno Riedmuller, Stefan Schaffler, ]editors[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Data processing ، Mathematics,، Parallel processing )Electronic computers(
رده :
QA
76
.
95
.
A664
1996
13. Array grammars, patterns and recognizers
پدیدآورنده: editor P.S.P. Wang
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computer science - Mathematics , Pattern recognition systems , Parallel processing )Electronic computers(
رده :
QA
76
.
9
.
M35
A77
1989
14. Calculating with Fortran
پدیدآورنده: Manifold, George O.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، FORTRAN )Computer program language(,، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
73
.
F25
.
M35
16. Categories, types, and structures
پدیدآورنده: Andrea Asperti, Giuseppe Longo.,Asperti, Andrea.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
17. Categories, types, and structures
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
18. Categories, types, and structures
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Categories (Mathematics)
رده :
QA76
.
7
.
A76
1991
19. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده: Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Categories )Mathematics(
رده :
QA
76
.
7
.
A76
1991
20. Categories, types, and structures : an introduction to category theory for the working computer scientist
پدیدآورنده: / Andrea Asperti, Giuseppe Longo
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه مراغه (آذربایجان شرقی)
موضوع: programming languages (electronic computers),categories (mathematics)
رده :
QA76
.
7
.
A76
